﻿// --------------------------------------------------------------------------------------------------------------------
// <copyright file="RecordContracts.cs" company="Rolosoft Ltd">
//   © Rolosoft Ltd
// </copyright>
// --------------------------------------------------------------------------------------------------------------------

#region License

// Copyright 2013 Rolosoft Ltd
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
#endregion

namespace Rsft.Net.Dns.Interfaces
{
    #region Usings

    using System.Diagnostics.CodeAnalysis;
    using System.Diagnostics.Contracts;

    using Rsft.Net.Dns.Entities;

    #endregion

    /// <summary>
    /// The record contracts.
    /// </summary>
    [ContractClassFor(typeof(IRecord))]
    internal abstract class RecordContracts : IRecord
    {
        #region Public Properties

        /// <summary>
        /// Gets the record reader.
        /// </summary>
        public virtual IRecordReader RecordReader { get; private set; }

        /// <summary>
        /// Gets or sets the resource record.
        /// </summary>
        public virtual ResourceRecord ResourceRecord { get; set; }

        #endregion

        #region Methods

        /// <summary>
        /// The object invariant.
        /// </summary>
        [ContractInvariantMethod]
        [SuppressMessage("Microsoft.Performance", "CA1822:MarkMembersAsStatic", 
            Justification = "Required for code contracts.")]
        private void ObjectInvariant()
        {
            Contract.Invariant(this.RecordReader != null);

            Contract.Invariant(this.ResourceRecord != null);
        }

        #endregion
    }
}